Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1) | Реферативна база даних (12) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Шмелева Т$<.>) | |||
|
Загальна кількість знайдених документів : 6 Представлено документи з 1 до 6 |
|||
| 1. | 
Шмелева Т. Ф. Формализация деятельности человека-оператора авиационной эргатической системы во внештатных ситуациях [Електронний ресурс] / Т. Ф. Шмелева, Ю. В. Сикирда // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 296–300. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_51 Представлена четырехуровневая графоаналитическая модель принятия решения человеком-оператором авиационной эргатической системы с учетом влияния профессиональных (уровня знаний, навыков, умений, стажа работы, интуиции) и непрофессиональных (психофизиологических, индивидуально-психологических, социально-психологических) факторов. Предложенная модель позволит своевременно диагностировать и прогнозировать возможные действия человека-оператора в ожидаемых и неожидаемых условиях эксплуатации воздушного судна. | ||
| 2. | 
Артеменко О. В. Анализ математической модели памяти человека-оператора при обработке предполетной информации [Електронний ресурс] / О. В. Артеменко, Т. Ф. Шмелева // Збірник наукових праць Кіровоградського національного технічного університету. Техніка в сільськогосподарському виробництві, галузеве машинобудування, автоматизація. - 2011. - Вип. 24(1). - С. 152-158. - Режим доступу: http://nbuv.gov.ua/UJRN/znpkntu_2011_24(1)__29 | ||
| 3. | 
Шмелева Т. Р. Реентерабельная модель RIP протокола в форме раскрашенных сетей Петри [Електронний ресурс] / Т. Р. Шмелева // Радіоелектроніка, інформатика, управління. - 2016. - № 4. - С. 97-103. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2016_4_14 Решена задача автоматизации оценки функциональных характеристик IP-сетей с динамической маршрутизацией на основе протокола RIP в процессе проектирования сетей. Предложен метод построения реентерабельных моделей, который обеспечивает повторное использование моделей, ориентированных на технологии и инвариантных к структуре сети. Для проведения вычислительных экспериментов и получения числовых оценок параметров качества обслуживания IP-сети к моделям терминальных сетей добавлены измерительные фрагменты в параметрическом виде. Проведен сравнительный анализ параметров качества обслуживания IP-сетей при слабой и средней нагрузке в условиях нормального режима работы и при временном отключении портов маршрутизаторов. Получена оценка полезной пропускной способности сети при разных видах нагрузки и условиях функционирования сети. В результате проведенных экспериментов выявлено, что значения параметров качества обслуживания исследуемой сети существенно не изменяются при нормальном режиме работы и временном отключении портов маршрутизаторов, изменение значений дисперсии является индикатором проблем в сети. Автоматизация оценки характеристик способствует сокращению сроков проектирования сетей. | ||
| 4. | 
Зайцев Д. А. Оценка влияния злонамеренного трафика на функционирование вычислительных решеток [Електронний ресурс] / Д. А. Зайцев, Т. Р. Шмелева, В. Б. Ретчитзеггер, Б. С. Пролл // Радиотехника. - 2014. - Вып. 176. - С. 164-171. - Режим доступу: http://nbuv.gov.ua/UJRN/rvmnts_2014_176_25 | ||
| 5. | 
Ковалев Ю. Н. Оптимизация среды обитания: психологический аспект [Електронний ресурс] / Ю. Н. Ковалев, Т. Ф. Шмелева // Сучасні проблеми моделювання. - 2017. - Вип. 9. - С. 48-57. - Режим доступу: http://nbuv.gov.ua/UJRN/cpm_2017_9_11 | ||
| 6. |
Шмелева Т. Р. Верификация протоколов треугольных коммуникационных решеток бесконечными сетями Петри [Електронний ресурс] / Т. Р. Шмелева // Радіоелектроніка, інформатика, управління. - 2018. - № 4. - С. 31-41. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2018_4_5 Вычислительные и коммуникационные решетки являются мощным средством повышения производительности и качества обслуживания современных сетей. В двумерных решетках основными формами ячейки являются треугольник, четырехугольник и шестиугольник. Треугольные решетки применяются при решении краевых задач с треугольными конечными элементами в системах радиовещания и телевидения. Наиболее простые и эффективные способы реализации решеток могут обладать скрытыми дефектами и уязвимостями с точки зрения безопасного обмена информации. Таким образом, верификация решеток является актуальной задачей. Цель работы - построение моделей треугольных коммуникационных решеток в форме бесконечных сетей Петри и исследование их свойств для доказательства корректности (верификации) протоколов. Методы исследований базируются на основных положениях теории графов, линейной алгебры, теоретических основах сетей Петри, математического и имитационного моделирования. Построено параметрическое описание треугольной коммуникационной решетки на плоскости в прямой и двойственной форме. Узел коммутации реализует полнодуплексный режим работы и буферизацию пакетов с ограниченным размером внутреннего буфера. Получены аналитические выражения для оценки числа компонентов модели. Решение бесконечных системы линейных уравнений в параметрической форме позволило доказать инвариантность модели произвольного размера. Инвариантность является одним из основных свойств модели идеального протокола, определяющих безопасность работы сети. Практическая значимость полученных результатов заключается в построении схем безопасных решеток для дальнейшей программной и аппаратной реализации, что официально подтверждено включением моделей треугольных решеток в архив моделей сетей Петри Лаборатории Информатики университета Париж 6. Выводы: впервые построена математическая модель треугольных коммуникационных решеток с регулярной структурой произвольного размера в форме бесконечных сетей Петри для верификации протоколов передачи информации в решетках. Применение методики для верификации треугольных коммуникационных структур позволяет выполнить дальнейшее развитие теории бесконечных сетей Петри для построения и исследования моделей произвольных решеток с регулярной структурой. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |